- inference procedure
- Робототехника: процедура логического вывода (в СИИ)
Универсальный англо-русский словарь. Академик.ру. 2011.
inference procedure
Смотреть что такое "inference procedure" в других словарях:
Statistical inference — In statistics, statistical inference is the process of drawing conclusions from data that are subject to random variation, for example, observational errors or sampling variation.[1] More substantially, the terms statistical inference,… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Regle d'inference — Règle d inférence Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes.… … Wikipédia en Français
Règle d'inférence — Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes. Sommaire 1… … Wikipédia en Français
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Strong inference — is a model of scientific inquiry developed by John R. Platt. [cite journal|journal=Science|volume=146|issue=3642|year=1964|title=Strong inference|author=John R. Platt|url=http://256.com/gray/docs/strong inference.html] Platt notes that certain… … Wikipedia
Exit procedure — is a security term in computing that ensures that knowledge about a computer system remains more or less closed only to the people with access to it.When a person leaves the place where they worked or studied, they may leave behind logons with… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Abductive reasoning — Abduction, or inference to the best explanation, is a method of reasoning in which one chooses the hypothesis that would, if true, best explain the relevant evidence. Abductive reasoning starts from a set of accepted facts and infers their most… … Wikipedia
List of basic topics in logic — For a more comprehensive list, see the List of logic topics. Logic, a branch of both philosophy and mathematics, is the study of criteria for the evaluation of arguments. The task of the logician is to advance an account of valid and fallacious… … Wikipedia
List of topics in logic — This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… … Wikipedia
